منابع مشابه
Characterisations of Nelson Algebras
Nelson algebras arise naturally in algebraic logic as the algebraic models of Nelson’s constructive logic with strong negation. This note gives two characterisations of the variety of Nelson algebras up to term equivalence, together with a characterisation of the finite Nelson algebras up to polynomial equivalence. The results answer a question of Blok and Pigozzi and clarify some earlier work ...
متن کاملTwo Axiomatizations of Nelson Algebras
Nelson algebras were first studied by Rasiowa and BiałynickiBirula [1] under the name N-lattices or quasi-pseudo-Boolean algebras. Later, in investigations by Monteiro and Brignole [3, 4], and [2] the name “Nelson algebras” was adopted – which is now commonly used to show the correspondence with Nelson’s paper [14] on constructive logic with strong negation. By a Nelson algebra we mean an abstr...
متن کاملDerivations of quasi *-algebras
The spatiality of derivations of quasi *-algebras is investigated by means of representation theory. Moreover, in view of physical applications, the spatiality of the limit of a family of spatial derivations is considered.
متن کاملQuasi-implication Algebras
A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having noninvolutory negation (e.g. intuitionistic logic). We show that every pseudocomplemented semilattice induces a quasi-implication algebra (but not conversely). On the other hand, a more general algebra, a so-called pseudocomplemented q-semilattice is introduced and a mutu...
متن کاملTopological Duality for Nelson Algebras and Its Applications (abstract)
some appropriate axioms (for details see [7]). These axioms imply that the relation ≈ on A defined by: a ≈ b if and only if a → b = 1 and b → a = 1, 1)/ ≈ is a Heyting algebra. For a given Heyting algebra B there always exists a Nelson algebra A such that A h is isomorphic to B: the Fidel-Vakarelov construction of the Nelson algebra N (B) (see e.g. [8]) yields an example of such an algebra. In ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2019
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2019.07.011